The practice of formal methods in safety-critical systems
نویسندگان
چکیده
By describing several industrial-scale applications of formal methods, this paper intends to demonstrate that formal methods for software development and safety analysis are increasingly adopted in the safety critical systems sector. The bene ts and limitations of using formal methods are described, and the problems of developing software for safety critical systems are analysed.
منابع مشابه
Developing Safety-Critical Systems: The Role of Formal Methods and Tools
In recent years, many formal methods have been proposed to improve the quality of safety-critical software systems. These methods include new specification and modeling languages as well as formal verification techniques, such as model checking and theorem proving. This paper describes numerous ways in which tools supporting formal methods can improve the quality of both software code as well a...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملProgramming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly aaects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing conndence in such systems. This paper examines the industrial use of these techniques, the recommendations con...
متن کاملUsing Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of these standards, development was typically done on a “best practise” basis which could differ much between application areas. Some safety-critical systems (e.g. railway interlockings) have a long technical and economical...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Systems and Software
دوره 28 شماره
صفحات -
تاریخ انتشار 1995